flask/policy: remove unused support for binary modules
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 20 Jun 2016 14:04:13 +0000 (10:04 -0400)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 21 Jun 2016 14:29:17 +0000 (15:29 +0100)
commite2aba42bff72c8720a19ec10ceeef82087e2fede
tree5689c68dfa36a09d504a14351f5ca249591a71f0
parentd72fd26d5f17adfae2f02ba28399924adc8fb518
flask/policy: remove unused support for binary modules

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Reviewed-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Reviewed-by: Doug Goldstein <cardoe@cardoe.com>
tools/flask/policy/policy/support/loadable_module.spt [deleted file]
tools/flask/policy/policy/support/misc_macros.spt